Diclib.com
Dictionnaire ChatGPT

Recherche dans le dictionnaire Solutions personnalisées

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

functor - traduction vers russe

IN CATEGORY THEORY, A MAPPING BETWEEN CATEGORIES THAT PRESERVES THEIR STRUCTURE (IDENTITY MORPHISMS, COMPOSITION OF MORPHISMS)

Covariant functor; Contravariant functor; Cofunctor; Functorial; Functors; Functoriality; Endofunctor; Bifunctor; Covariance and contravariance of functors; Identity functor; Multifunctor; Functor (category theory); Covariance (categories); Opposite functor; Constant functor; Selection functor; Category homomorphism; Dual functor; Covariance and contravariance (category theory)

functor

['fʌŋktə]

общая лексика

функциональный элемент, функтор

элемент, выполняющий в языке программирования определенную функцию (роль)

функтор

существительное

лингвистика

функтор (обозначение не лексического значения, а структуры)

covariant functor

математика

ковариантный функтор

contravariant functor

математика

контравариантный функтор

Définition

functor

In category theory, a functor F is an operator on types. F is also considered to be a polymorphic operator on functions with the type F : (a -> b) -> (F a -> F b). Functors are a generalisation of the function "map". The type operator in this case takes a type T and returns type "list of T". The map function takes a function and applies it to each element of a list. (1995-02-07)

Afficher plus de définitions

Wikipédia

Functor

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

The words category and functor were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used functor in a linguistic context; see function word.

https://en.wikipedia.org/wiki/Functor

Traduction de &#39functor&#39 en Russe